Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
A Game Interpretation of Retractable Contracts
2016-01-01 Barbanera, Franco; de’ Liguoro, Ugo
Gaussian processes and neuronal modeling
2005-01-01 E. DI NARDO; A. NOBILE; E. PIROZZI; L.M. RICCIARDI
A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases
2015-01-01 Anselma, Luca; Piovesan, Luca; Sattar, Abdul; Stantic, Bela; Terenziani, Paolo
A Generalized Commitment Machine for 2CL Protocols and Its Implementation
2013-01-01 Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati; Elisa Marengo; Viviana Patti
GeoDrinking: how to extract value from an extended social wine drinking experience
2011-01-01 A. Marcengo; A. Rapp
Geographic Summaries from Crowdsourced Data
2014-01-01 G. Rizzo; G. Falcone; R. Meo; R.G. Pensa; R. Troncy; V. Milicic
Global Progress in Dynamically Interleaved Multiparty Sessions
2008-01-01 Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani; Nobuko Yoshida
Goal Preservation by Choreography-Driven Matchmaking
2009-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Granular Semantic User Similarity in the Presence of Sparse Data
2013-01-01 F. Osborne; S. Likavec; F. Cena
Grasping metaphors: Lexical semantics in metaphor analysis
2018-01-01 Enrico Mensa, Aureliano Porporato, Daniele P. Radicioni
HELM and the Semantic Math-Web
2001-01-01 ASPERTI A; L. PADOVANI; SACERDOTI COEN C; SCHENA I
Hercules: Scalable and Network Portable In-Memory Ad-Hoc File System for Data-Centric and High-Performance Applications
2023-01-01 Garcia-Blas J.; Sanchez-Gallegos G.; Petre C.; Martinelli A.R.; Aldinucci M.; Carretero J.
Higer-Order Linear Ramified Recurrence
2004-01-01 U. DAL LAGO; MARTINI; L. ROVERSI
High-Performance Haplotype Assembly
2015-01-01 Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati
I-Java: an extension of Java with incomplete objects and object composition
2009-01-01 Lorenzo Bettini; Viviana Bono; Erica Turin
Identification, Validation and Certification of previous skills to support vulnerable worker in post pandemic dynamics
2022-01-01 D.Robasto
The Impact of CPU Frequency Scaling on Power Consumption of Computing Infrastructures
2020-01-01 Adriano Marques Garcia, Matheus Serpa, Dalvan Griebler, Claudio Schepke, Luiz G. L. Fernandes, Philippe O. A. Navaux
An Imperative First-Order Calculus with Object Extension
1998-01-01 V. Bono;K. Fisher
The Implementation of ASSIST, an Environment for Parallel and Distributed Programming
2004-01-01 Marco Aldinucci; Sonia Campa; Pierpaolo Ciullo; Massimo Coppola; Silvia Magini; Paolo Pesciullesi; Laura Potiti; Roberto Ravazzolo; Massimo Torquati; Marco Vanneschi; Corrado Zoccolo
Implementing Session Centered Calculi
2008-01-01 Lorenzo Bettini; Rocco De Nicola; Michele Loreti
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Game Interpretation of Retractable Contracts | 2016 | Barbanera, Franco; de’ Liguoro, Ugo | |
| Gaussian processes and neuronal modeling | 2005 | E. DI NARDO; A. NOBILE; E. PIROZZI; L.M. RICCIARDI | |
| A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases | 2015 | Anselma, Luca; Piovesan, Luca; Sattar, Abdul; Stantic, Bela; Terenziani, Paolo | |
| A Generalized Commitment Machine for 2CL Protocols and Its Implementation | 2013 | Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati; Elisa Marengo; Viviana Patti | |
| GeoDrinking: how to extract value from an extended social wine drinking experience | 2011 | A. Marcengo; A. Rapp | |
| Geographic Summaries from Crowdsourced Data | 2014 | G. Rizzo; G. Falcone; R. Meo; R.G. Pensa; R. Troncy; V. Milicic | |
| Global Progress in Dynamically Interleaved Multiparty Sessions | 2008 | Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani; Nobuko Yoshida | |
| Goal Preservation by Choreography-Driven Matchmaking | 2009 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA | |
| Granular Semantic User Similarity in the Presence of Sparse Data | 2013 | F. Osborne; S. Likavec; F. Cena | |
| Grasping metaphors: Lexical semantics in metaphor analysis | 2018 | Enrico Mensa, Aureliano Porporato, Daniele P. Radicioni | |
| HELM and the Semantic Math-Web | 2001 | ASPERTI A; L. PADOVANI; SACERDOTI COEN C; SCHENA I | |
| Hercules: Scalable and Network Portable In-Memory Ad-Hoc File System for Data-Centric and High-Performance Applications | 2023 | Garcia-Blas J.; Sanchez-Gallegos G.; Petre C.; Martinelli A.R.; Aldinucci M.; Carretero J. | |
| Higer-Order Linear Ramified Recurrence | 2004 | U. DAL LAGO; MARTINI; L. ROVERSI | |
| High-Performance Haplotype Assembly | 2015 | Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati | |
| I-Java: an extension of Java with incomplete objects and object composition | 2009 | Lorenzo Bettini; Viviana Bono; Erica Turin | |
| Identification, Validation and Certification of previous skills to support vulnerable worker in post pandemic dynamics | 2022 | D.Robasto | |
| The Impact of CPU Frequency Scaling on Power Consumption of Computing Infrastructures | 2020 | Adriano Marques Garcia, Matheus Serpa, Dalvan Griebler, Claudio Schepke, Luiz G. L. Fernandes, Philippe O. A. Navaux | |
| An Imperative First-Order Calculus with Object Extension | 1998 | V. Bono;K. Fisher | |
| The Implementation of ASSIST, an Environment for Parallel and Distributed Programming | 2004 | Marco Aldinucci; Sonia Campa; Pierpaolo Ciullo; Massimo Coppola; Silvia Magini; Paolo Pesciullesi; Laura Potiti; Roberto Ravazzolo; Massimo Torquati; Marco Vanneschi; Corrado Zoccolo | |
| Implementing Session Centered Calculi | 2008 | Lorenzo Bettini; Rocco De Nicola; Michele Loreti |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile